1

Principles of Nutrigenetics and Nutrigenomics || Regulation of Gene Expression

Année:
2020
Langue:
english
Fichier:
PDF, 224 KB
english, 2020
3

Resolution for Max-SAT

Année:
2007
Langue:
english
Fichier:
PDF, 179 KB
english, 2007
5

On Interpolation and Automatization for Frege Systems

Année:
2000
Langue:
english
Fichier:
PDF, 278 KB
english, 2000
6

SAT-based MaxSAT algorithms

Année:
2013
Langue:
english
Fichier:
PDF, 424 KB
english, 2013
7

QUASIPOLYNOMIAL SIZE FREGE PROOFS OF FRANKL’S THEOREM ON THE TRACE OF SETS

Année:
2016
Langue:
english
Fichier:
PDF, 421 KB
english, 2016
8

Structure features for SAT instances classification

Année:
2016
Langue:
english
Fichier:
PDF, 948 KB
english, 2016
12

Size-depth tradeoffs for Boolean formulae

Année:
1994
Langue:
english
Fichier:
PDF, 378 KB
english, 1994
17

Non-Automatizability of Bounded-Depth Frege Proofs

Année:
2004
Langue:
english
Fichier:
PDF, 256 KB
english, 2004
18

Optimality of size-width tradeoffs for resolution

Année:
2001
Langue:
english
Fichier:
PDF, 212 KB
english, 2001
19

Degree complexity for a modified pigeonhole principle

Année:
2003
Langue:
english
Fichier:
PDF, 164 KB
english, 2003
24

Retinoic Acid Treatment Increases Lipid Oxidation Capacity in Skeletal Muscle of Mice

Année:
2008
Langue:
english
Fichier:
PDF, 212 KB
english, 2008
28

On the automatizability of resolution and related propositional proof systems

Année:
2004
Langue:
english
Fichier:
PDF, 251 KB
english, 2004
35

The uncoupling protein, thermogenin

Année:
1998
Langue:
english
Fichier:
PDF, 3.12 MB
english, 1998
36

The Serial Transitive Closure Problem for Trees

Année:
1995
Langue:
english
Fichier:
PDF, 1.70 MB
english, 1995
40

The Metabolic Syndrome at the Beginning of the XXI Century || Thermogenesis and the Metabolic Syndrome

Année:
2005
Langue:
english
Fichier:
PDF, 846 KB
english, 2005
41

Resolution procedures for multiple-valued optimization

Année:
2013
Langue:
english
Fichier:
PDF, 1.47 MB
english, 2013
45

Approximating Subtree Distances Between Phylogenies

Année:
2006
Langue:
english
Fichier:
PDF, 216 KB
english, 2006